Y mandó el rey que trajesen grandes piedras, piedras de precio para los cimientos de la casa, y piedras labradas: